Hlavní stránka > Výsledky hledání: keywords:"pseudofinite structures|forcing|complexity|witnessing|TFNP|clique"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Pseudofinite structures and limits
 Ježil, Ondřej ; Krajíček, Jan (vedoucí práce) ; Šaroch, Jan (oponent)
Pro třídu instancí výpočetního problému definujeme limitní objekt, vzhledem k nějaké výpočetně omezené třídě funkcí. Klíčová metoda zde je forcing s náhodnými proměnnými, kde za množinu elementárních jevů bereme instance nestandardní velikosti. Studujeme obecnou teorii těchto limit, v práci nazývaných široké limity, a jejich spojitost s klasickými problémy jako je nalezení velké kliky a nebo s kombinatorickými problémy přidruženými k třídám NP vyhledávacích problémů PPA a PPAD. Nášimi hlavními výsledky jsou určité 0-1 zákony pro tyto limity a existence kliky významné velikosti v široké limitě grafů sestávajících z jedné velké kliky. 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English